configureCompiler: separate compiler vs ProgramDb #10993
Merged
+248
−116
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
13 tasks
sheaf
commented
Jun 17, 2025
mpickering
approved these changes
Jun 17, 2025
geekosaur
approved these changes
Jun 17, 2025
sheaf
force-pushed
the
wip/separateProgDb
branch
from
d68cb50 to
ecf8eb7
Compare
|
I will not be providing a test for this change, as I think the prior hacky solution was "good enough" to solve the issue with recompilation-checking. I discussed the design with @mpickering and I think the new approach makes a lot more sense than what was there before. |
mergify
bot
added
ready and waiting
ulysses4ever
force-pushed
the
wip/separateProgDb
branch
from
ecf8eb7 to
efd7707
Compare
|
@mergify rebase |
✅ Branch has been successfully rebased |
ulysses4ever
force-pushed
the
wip/separateProgDb
branch
from
efd7707 to
f87b776
Compare
This commit splits up the logic in configureCompiler into two parts:
1. Configuring the compiler proper, e.g. finding the location
and version of GHC.
2. Creating a program database of attendant programs such as ghc-pkg,
haddock, and build tools such as ar, ld.
This is done using information about the compiler, such as its
location on the filesystem and toolchain information from its
settings file.
ulysses4ever
force-pushed
the
wip/separateProgDb
branch
from
f87b776 to
72e2a58
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This commit splits up the logic in configureCompiler into two parts:
ghc-pkg,haddock, and build tools such asar,ld. This is done using information about the compiler, such as its location on the filesystem and toolchain information from its settings file.The main goal is to avoid an issue in which we get the wrong program database from the cache we get from recompilation checking. However, it's not straightforward to trigger the bug, so I don't have a test at the moment. In practice, I expect this change to be invisible to users.
See Note [Caching the result of configuring the compiler] for an explanation of the problem and the design of the solution.
Template B: This PR does not modify behaviour or interface
E.g. the PR only touches documentation or tests, does refactorings, etc.
Include the following checklist in your PR: